Câu ví dụNó đã suy sụp kể từ năm 1931, khi nhà lôgic học Kurt Gödel công bố các định lí bất toàn nổi tiếng của ông.
